package exo1;

public interface Checked {

	public void invariant();
}
